Suchergebnis

Suche nach: Schlagwort = Programmsynthese und Sammlung = ULB Düsseldorf

24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 ; revised selected papers

Proietti, Maurizio (Hrsg.) ; LOPSTR <24., 2014, Canterbury>

Cham [u.a.] : Springer, 2015

25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers

Falaschi, Moreno (Hrsg.) ; LOPSTR <25., 2015, Siena>

[Cham] : Springer, 2015